简体版 繁體版 Hindi日本語РусскийViệt
Login Sign Up

modal operator in Chinese

Pronunciation:
How to pronounce "modal operator""modal operator" in a sentence

Translationmobile phoneMobile

  • 模态算子
  • 模态运算子

Examples

  • These modal operators are usually available in temporal logic
    通常,下列模态操作符可用于时态逻辑:
  • A blended transform domain watermarking based on multi - value sequence modal operator
    基于多值序列模运算的混合变换域水印
  • Temporal logic employs three or four , depending on the model common modal operators
    时态逻辑使用三个(或四个,取决于模型)常见的模态操作符。
  • Various modal operators can then be applied to these atomic assertions to generate more complex assertions
    于是,各种模态操作符都可以应用于这些原子断言以生成更复杂的断言。
  • In fact , the syntax of temporal rover assertions is the same syntax i ve used in the examples above , where assertions taken by the modal operators are surrounded with braces
    实际上, temporal rover断言的语法与我在上面示例中使用的语法相同,其中,模态操作符采用的断言用花括号括起。
  • The contributions of this paper include the following : ( 1 ) we establish a new form of the modal logical characterization satisfying - bisimulation in nomal case . ( 2 ) we introduce a new modal operator
    ( 2 )引入一个新模态词,并在此基础上使用新的模态逻辑语言给出一个更具一般性的-互模拟的模态逻辑特征。
  • Based on lattice - valued propositional logic system lp ( x ) and lattice - valued first - order logic system lf ( x ) , the author studied semantic and syntax properties of generalized lattice - valued modal logic system , and probed into a - resolution principle . the specific contents are as follows : part one the study of lattice - valued modal propositional logic system and its resolution method in this part , we introduced modal operators n ( necessary ) and p ( possible ) into lattice - valued propositional logic system lp ( x ) , set up a new lattice - valued modal propositional logic system lmp ( x ) , studied its semantic properties and syntax structure , proved the soundness and consistence of this system . based on these work , discussed a - resolution principle of lattice - valued modal propositional logic system lmp ( x ) , gave out the rules of computing a - direct resolvent and a - self resolvent , and proposed detailed resolution method
    本文在格值命题逻辑系统lp ( x )和格值一阶逻辑系统lf ( x )的基础上,讨论了广义格值模态逻辑系统的语义及语法性质,并对其-归结原理做了初步探讨,主要在下述三个方面取得了研究成果:第一部分:关于格值模态命题逻辑系统及其归结方法的研究在此部分,把模态算子n (必然)和p (可能)引入格值命题逻辑系统lp ( x ) ,建立了新的格值模态命题逻辑系统lmp ( x ) ,并研究了它的语义刻画及语法结构,证明了在此语义解释和语法框架下的系统仍是-可靠的和协调的;在此基础上,进一步研究了基于格值模态命题逻辑系统lmp ( x )的-归结原理,给出了计算-直接归结式和-自归结式的规则,并总结出具体的归结方法。

Other Languages

What is the meaning of modal operator in Chinese and how to say modal operator in Chinese? modal operator Chinese meaning, modal operator的中文modal operator的中文modal operator的中文,translation, pronunciation, synonyms and example sentences are provided by ichacha.net.